Conversion of First Order Logic into Conjunctive Normal Form